The Free On-line Dictionary of Computing (30 December 2018):

complete theory

    An abstract logical theory in which all true
   statements have formal proofs within the theory.

   (1998-07-05)